Showing 1 - 3 of 3 Results
1.
Automated Technology for Verification and Analysis by Namjoshi, Kedar S. (Bell La... ISBN: 9783540755951 List Price: $99.00
2.
Verification, Model Checking, and Abstract Interpretation by Emerson, E. Allen, Namjoshi... ISBN: 9783540697350 List Price: $79.95
3.
Verification, Model Checking, And Abstract Interpretation 7th International Conference, Vmca... by Namjoshi, Kedar S., Emerson... ISBN: 9783540311393 List Price: $84.00